// $Id: InternalException.h 67 2007-11-09 17:37:47Z wimleers $


/**
 * InternalException class header file.
 *
 * @file InternalException.h
 * @author Bram Bonn&eacute;
 * @author Wim Leers
 */


#ifndef INTERNALEXCEPTION_H
#define INTERNALEXCEPTION_H

#include <string>
using namespace std;
#include "BasicException.h"

class InternalException : public BasicException {
	public:
		InternalException(string method, string description) : BasicException(method + "\t" + description) {}
};

#endif
